package modelo.automata;

import java.util.Collection;

/**
 *
 * @author Andres
 */
public class AutomataFinitoNoDeterminista extends AutomataFinito{

    /**
     *
     */
    public AutomataFinitoNoDeterminista() {
        super();
    }

    /**
     *
     * @param conjuntoDeEstados
     * @param alfabetoEntrada
     * @param estadoInicial
     * @param conjuntoEstadosFinales
     * @param tablaDeTransiciones
     */
    public AutomataFinitoNoDeterminista(Collection<String> conjuntoDeEstados,
                Collection<String> alfabetoEntrada, String estadoInicial,
                    Collection<String> conjuntoEstadosFinales, String[][] tablaDeTransiciones) {
        super(conjuntoDeEstados, alfabetoEntrada, estadoInicial, conjuntoEstadosFinales, tablaDeTransiciones);
    }
    
    /**
     * 
     * @param af
     * @return 
     */
    @Override
    public boolean esEquivalente(AutomataFinito af) {
        throw new UnsupportedOperationException("Not supported yet.");
    }

    /**
     * 
     * @return
     */
    public AutomataFinitoDeterminista afdEquivalente() {
        throw new UnsupportedOperationException("Not supported yet.");
    }

    @Override
    public boolean lectura(String[] cadena) throws Exception {
        throw new UnsupportedOperationException("Not supported yet.");
    }
}
